5.0 KB · ⇊ 2 parts · ⤓ Micron 5.0 KB · ⤓ HTML 13.8 KB

top

Martin Hofmann (* 9. November 1965 in Erlangen; † 23. Januar 2018 am Nikko Shirane, Japan)cite-ref-sz2018-02-06-1-0[1]cite-ref-2[2] war ein deutscher Informatiker und Hochschullehrer.cite-ref-cv-3-0[3]

• Leben

• Werke (Auswahl)

• Einzelnachweise

Hofmann studierte 1984 bis 1991 an der Universität Erlangen-Nürnberg Informatik und schloss das Studium in der Diplomprüfung mit Auszeichnung ab. Im Rahmen eines Austauschjahres 1987 bis 1988 erwarb er zusätzlich den Titel Maitrise de Mathematiques. Nach Beendigung seines Doktoratsstudiums zum PhD an der University of Edinburgh 1995 habilitierte er sich 1999 an der TU Darmstadt. Es folgten Aufenthalte als lecturer und reader wiederum an der University of Edinburgh und als Assistant professor erneut an der TU Darmstadt,cite-ref-cv-3-1[3] bevor er im September 2001 zum Ordinarius für Theoretische Informatikcite-ref-4[4] an die Ludwig-Maximilians-Universität München berufen wurde.cite-ref-cv-3-2[3]

Hofmann wurde am 21. Januar 2018 auf einer Bergtour am japanischen Vulkan Nikkō-Shirane-san von einem Schneesturm überrascht. Weil die Bedingungen für eine Suche zu gefährlich waren, konnte erst zehn Tage später begonnen werden, nach ihm zu suchen.cite-ref-5[5] Am 6. Februar wurde offiziell sein Tod vermeldet.cite-ref-sz2018-02-06-1-1[1]

Als seine Forschungsschwerpunkte nannte Hofmann die Anwendung von Logik und Typentheorie.cite-ref-cv-3-3[3]

• mit Thomas Streicher: The groupoid interpretation of type theory. In: Oxford Univ. Press (Hrsg.): Twenty-five years of constructive type theory (= Oxford Logic Guides). Band 36. New York 1998, S. 83–111 (englisch).

• selbst: Extensional Constructs in Intensional Type Theory. Hrsg.: University of Edinburgh. College of Science and Engineering. School of Informatics. (englisch). Dissertation.

• mit Martin Lange: Automatentheorie und Logik (= eXamen.press). Springer-Verlag Berlin Heidelberg, 2011, ISBN 978-3-642-18089-7, ISSN 1614-5216, doi:10.1007/978-3-642-18090-3.

cite-note-sz2018-02-06-11. ↑ Süddeutsche Zeitung: LMU-Professor auf Bergtour in Japan tödlich verunglückt, 6. Februar 2018, abgerufen am 6. Februar 2018.

cite-note-22. ↑ Süddeutsche Zeitung: Traueranzeigen Martin Hofmann 17. März 2018, abgerufen am 23. März 2018.

cite-note-cv-33. ↑ CV Hofmann auf lmu.de (englisch; abgerufen am 1. Februar 2018)

cite-note-44. ↑ Hofmann auf lmu.de (Stand: 1. Februar 2018)

cite-note-55. ↑ LMU-Professor seit elf Tagen in Japan verschollen auf sueddeutsche.de (Stand: 1. Februar 2018)